求证:函数f(x)=根号(x^2+1)-x在R上是减函数